منابع مشابه
The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier Citation
We report on the design and implementation of an extensible programming language and its intrinsic support for formal verification. Our language is targeted at low-level programming of infrastructure like operating systems and runtime systems. It is based on a cross-platform core combining characteristics of assembly languages and compiler intermediate languages. From this foundation, we take l...
متن کاملThe Graphs of Structured Programming
Control flow graphs represent the possible execution paths of a program and can be obtained by static analysis of software binaries. We give a formal characterization of the subclass of control flow graphs that correspond to structured code.
متن کاملStructured programming in Java
Last year at this workshop, McLaughlin presented a paper entitled Oh, by the way: Java is object-oriented. He observed that many institutions were switching to Java as a first programming language, without capitalizing on the object-oriented (OO) features of Java. McLaughlin argued that this was a Bad Thing: ‘if Java becomes the core language then OO must be taught as the central theme of the d...
متن کاملStructured Parallel Programming
Parallel programming is a diicult task involving many complex issues such as resource allocation, and process coordination. We propose a solution to this problem based on the use of a repertoire of parallel algorithmic forms, known as skeletons. The use of skeletons enables the meaning of a parallel program to be separated from its behaviour. Central to this methodology is the use of transforma...
متن کاملOrganizing for Structured Programming
A new type of programming methodology, built around structured programming ideas, has been gaining widespread acceptance for production programming. This paper discusses how this methodology has been introduced into a large production programming organization. Finally it analyzes the advantages and disadvantages of each component of the methodology and recommends ways it can be introduced in a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2013
ISSN: 0362-1340,1558-1160
DOI: 10.1145/2544174.2500592